home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Turnbull China Bikeride
/
Turnbull China Bikeride - Disc 1.iso
/
ARGONET
/
PD
/
PROGRAMMING
/
LCLINT2.SPK
/
test
/
test_a
/
lh
/
repexpose
< prev
Wrap
Text File
|
1996-08-28
|
534b
|
15 lines
/* Output from LCLint 2.2 */
# include "bool.h"
extern char **globstring;
extern /*@only@*/ abst abst_create (/*@dependent@*/ abst /* p */, /*@only@*/ char * /* x */, int /* i */);
extern /*@only@*/ char *abst_name (abst /* a */);
extern int abst_val (abst /* a */);
extern int *abst_aval (abst /* a */);
extern /*@only@*/ abst abst_parent (/*@only@*/ abst /* a */);
extern /*@dependent@*/ char *immut_name (immut /* im */);
extern void abst_setIm (abst /* a */, immut /* im */);
extern immut abst_getIm (abst /* a */);